More from this Author

Formal Methods for Industrial Critical Systems

by Kim Guldstrand Larsen (Editor), Tim Willemse (Editor)

Dependable Software Engineering. Theories, Tools, and Applications

by Kim Guldstrand Larsen (Editor), Oleg Sokolsky (Editor), Ji Wang (Editor)

Computer Aided Verification

by Ed Brinksma (Editor), Kim Guldstrand Larsen (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Jan Friso Groote (Editor), Kim Guldstrand Larsen (Editor)

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza (Editor), Akash Lal (Editor), Kim Guldstrand Larsen (Editor)